Aggregated fuzzy answer set programming

Fuzzy Answer Set programming (FASP) is an extension of answer set programming (ASP), based on fuzzy logic. It allows to encode continuous optimization problems in the same concise manner as ASP allows to model combinatorial problems. As a result of its inherent continuity, rules in FASP may be satisfied or violated to certain degrees. Rather than insisting that all rules are fully satisfied, we may only require that they are satisfied partially, to the best extent possible. However, most approaches that feature partial rule satisfaction limit themselves to attaching predefined weights to rules, which is not sufficiently flexible for most real-life applications. In this paper, we develop an alternative, based on aggregator functions that specify which (combination of) rules are most important to satisfy. We extend upon previous work by allowing aggregator expressions to define partially ordered preferences, and by the use of a fixpoint semantics

Extending boolean regulatory network models with answer set programming

Because of their simplicity, boolean networks are a popular formalism to model gene regulatory networks. However, they have their limitations, including their inability to formally and unambiguously define network behaviour, and their lack of the possibility to model meta interactions, i.e., interactions that target other interactions. In this paper we develop an answer set programming (ASP) framework that supports threshold boolean network semantics and extends it with the capability to model meta interactions. The framework is easy to use but sufficiently flexible to express intricate interactions that go beyond threshold network semantics as we illustrate with an example of a Mammalian cell cycle network. Moreover, readily available answer set solvers can be used to find the steady states of the network

Switching modalities in a sentence verification task: ERP evidence for embodied language processing

In an event related potential (ERP) experiment using written language materials only, we investigated a potential modulation of the N400 by the modality switch effect. The modality switch effect occurs when a first sentence, describing a fact grounded in one modality, is followed by a second sentence describing a second fact grounded in a different modality. For example, "A cellar is dark" (visual), was preceded by either another visual property "Ham is pink" or by a tactile property "A mitten is soft." We also investigated whether the modality switch effect occurs for false sentences ("A cellar is light"). We found that, for true sentences, the ERP at the critical word "dark" elicited a significantly greater frontal, early N400-like effect (270370 ms) when there was a modality mismatch than when there was a modality-match. This pattern was not found for the critical word "light" in false sentences. Results similar to the frontal negativity were obtained in a late time window (500700 ms). The obtained ERP effect is similar to one previously obtained for pictures. We conclude that in this paradigm we obtained fast access to conceptual properties for modality-matched pairs, which leads to embodiment effects similar to those previously obtained with pictorial stimuli

Communicating answer set programs

Answer set programming i s a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not been thoroughly studied. We show that allowing simple programs to talk to each other results in the same expressivity as adding negation-as-failure. Furthermore, we show that the ability to focus on one program in a network of simple programs results in the same expressivity as adding disjunction in the head of the rules

Towards possibilistic fuzzy answer set programming

Fuzzy answer set programming (FASP) is a generalization of answer set programming to continuous domains. As it can not readily take uncertainty into account, however, FASP is not suitable as a basis for approximate reasoning and cannot easily be used to derive conclusions from imprecise information. To cope with this, we propose an extension of FASP based on possibility theory. The resulting framework allows us to reason about uncertain information in continuous domains, and thus also about information that is imprecise or vague. We propose a syntactic procedure, based on an immediate consequence operator, and provide a characterization in terms of minimal models, which allows us to straightforwardly implement our framework using existing FASP solvers

National evaluation of Partnerships for Older People Projects

Executive Summary The Partnership for Older People Projects (POPP) were funded by the Department of Health to develop services for older people, aimed at promoting their health, well-being and independence and preventing or delaying their need for higher intensity or institutional care. The evaluation found that a wide range of projects resulted in improved quality of life for participants and considerable savings, as well as better local working relationships. • Twenty-nine local authorities were involved as pilot sites, working with health and voluntary sector partners to develop services, with funding of £60m • Those projects developed ranged from low level services, such as lunch-clubs, to more formal preventive initiatives, such as hospital discharge and rapid response services • Over a quarter of a million people (264,637) used one or more of these services • The reduction in hospital emergency bed days resulted in considerable savings, to the extent that for every extra £1 spent on the POPP services, there has been approximately a £1.20 additional benefit in savings on emergency bed days. This is the headline estimate drawn from a statistically valid range of £0.80 to £1.60 saving on emergency bed days for every extra £1 spent on the projects. • Overnight hospital stays were seemingly reduced by 47% and use of Accident & Emergency departments by 29%. Reductions were also seen in physiotherapy/occupational therapy and clinic or outpatient appointments with a total cost reduction of £2,166 per person • A practical example of what works is pro-active case coordination services, where visits to A&E departments fell by 60%, hospital overnight stays were reduced by 48%, phone calls to GPs fell by 28%, visits to practice nurses reduced by 25% and GP appointments reduced by 10% • Efficiency gains in health service use appear to have been achieved without any adverse impact on the use of social care resources • The overwhelming majority of the POPP projects have been sustained, with only 3% being closed – either because they did not deliver the intended outcomes or because local strategic priorities had changed • PCTs have contributed to the sustainability of the POPP projects within all 29 pilot sites. Moreover, within almost half of the sites, one or more of the projects are being entirely sustained through PCT funding – a total of 20% of POPP projects. There are a further 14% of projects for which PCTs are providing at least half of the necessary ongoing funding • POPP services appear to have improved users’ quality of life, varying with the nature of individual projects; those providing services to individuals with complex needs were particularly successful, but low-level preventive projects also had an impact • All local projects involved older people in their design and management, although to varying degrees, including as members of steering or programme boards, in staff recruitment panels, as volunteers or in the evaluation • Improved relationships with health agencies and the voluntary sector in the locality were generally reported as a result of partnership working, although there were some difficulties securing the involvement of GP

Management of insomnia in sleep disordered breathing

Both obstructive sleep apnoea (OSA) and chronic insomnia disorder are highly prevalent in the general population. Whilst both disorders may occur together by mere coincidence, it appears that they share clinical features and that they may aggravate each other as a result of reciprocally adverse pathogenetic mechanisms. Comorbidity between chronic insomnia disorder and OSA is a clinically relevant condition that may confront practitioners with serious diagnostic and therapeutic challenges. Current data, while still scarce, advocate an integrated and multidisciplinary approach that seems superior over the isolated treatment of each sleep disorder alone